[TOOLS] Rename chekc_hotplug to check_udev and fix permissions.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/check/check_hotplug b/tools/check/check_hotplug
deleted file mode 100644 (file)
index 999c7d8..0000000
--- a/tools/check/check_hotplug
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-# CHECK-INSTALL
-
-function error {
-   echo
-   echo '  *** Check for the hotplug scripts (hotplug) FAILED'
-   exit 1
-}
-[ -x "$(which udevinfo)" ] && \
-  UDEV_VERSION=$(udevinfo -V | sed -e 's/^[^0-9]* \([0-9]\{1,\}\)[^0-9]\{0,\}/\1/')
-
-if [ -n "$UDEV_VERSION" ] && [ $UDEV_VERSION -ge 059 ]; then
-  exit 0
-fi
-
-which hotplug 1>/dev/null 2>&1 || error

diff --git a/tools/check/check_udev b/tools/check/check_udev
new file mode 100755 (executable)
index 0000000..2dd226a
--- /dev/null
+++ b/tools/check/check_udev
@@ -0,0 +1,16 @@
+#!/bin/bash
+# CHECK-INSTALL
+
+function error {
+   echo
+   echo '  *** Check for udev/hotplug FAILED'
+   exit 1
+}
+[ -x "$(which udevinfo)" ] && \
+  UDEV_VERSION=$(udevinfo -V | sed -e 's/^[^0-9]* \([0-9]\{1,\}\)[^0-9]\{0,\}/\1/')
+
+if [ -n "$UDEV_VERSION" ] && [ $UDEV_VERSION -ge 059 ]; then
+  exit 0
+fi
+
+which hotplug 1>/dev/null 2>&1 || error